{ {- A -}
  x
  {- B -}
, y =
    {- C -}
    y
}
